-
1 consistent sentence
Большой англо-русский и русско-английский словарь > consistent sentence
-
2 consistent sentence
Математика: непротиворечивое высказывание -
3 consistent sentence
English-Russian electronics dictionary > consistent sentence
-
4 consistent sentence
The New English-Russian Dictionary of Radio-electronics > consistent sentence
-
5 consistent sentence
-
6 sentence
1) высказывание; предложение; фраза2) суждение•- almost false sentence - almost true sentence - analytically expressible sentence - arithmetically expressible sentence - logically universal sentence - logically valid sentence -
7 sentence
1) вчт предложениеа) высказывание; фраза; синтаксическая конструкция2) приговор•- analytically expressible sentence
- atomic sentence
- closed sentence
- composite sentence
- conditional sentence
- consistent sentence
- contradictory sentence
- declarative sentence
- equisignificant sentences
- equivalent sentences
- false sentence
- grammatical sentence
- Horn sentence
- inconsistent sentence
- inverse sentence
- mathematical sentence
- matrix sentence
- open sentence
- provable sentence
- quantifier-free sentence
- satisfiable sentence
- topic sentence
- true sentence
- unambiguous sentence
- Usenet death sentence -
8 sentence
1) вчт. предложениеа) высказывание; фраза; синтаксическая конструкция2) приговор•- analytically expressible sentence
- atomic sentence
- closed sentence
- composite sentence
- conditional sentence
- consistent sentence
- contradictory sentence
- declarative sentence
- equisignificant sentences
- equivalent sentences
- false sentence
- grammatical sentence
- Horn sentence
- inconsistent sentence
- inverse sentence
- mathematical sentence
- matrix sentence
- open sentence
- provable sentence
- quantifier-free sentence
- satisfiable sentence
- topic sentence
- true sentence
- unambiguous sentence
- Usenet death sentenceThe New English-Russian Dictionary of Radio-electronics > sentence
-
9 sentence
1) приговор ( к наказанию); наказание ( по приговору) | приговаривать ( к наказанию)2) редк. вердикт•sentence fixed by law — наказание, определённое в законе;
sentence on the record — запротоколированный приговор;
sentence passed on the person — приговор, вынесенный в отношении данного лица;
to complete sentence — отбыть наказание;
to give sentence — вынести приговор; назначить наказание;
to sentence in absense [in absentia] — приговорить заочно;
to sentence in respect of the offence — приговорить лицо к наказанию за данное преступление;
to sentence long — приговорить к длительному сроку лишения свободы;
to sentence on a technicality — вынести приговор на формально-юридическом основании;
to pronounce sentence — вынести приговор; назначить наказание;
to serve sentence — отбывать приговор, наказание;
to sentence short — приговорить к краткому сроку лишения свободы;
to sentence to community service — приговорить к безвозмездному обслуживанию общины;
to sentence to death — приговорить к смертной казни;
to sentence to life — приговорить к пожизненному тюремному заключению;
to sentence to probation — приговорить к пробации;
to sentence with probation — приговорить условно с отбытием пробации;
- sentence of deathunder a sentence for a crime — по приговору за какое-л. преступление
- sentence of probation
- accumulative sentences
- accumulative sentence
- actual sentence
- alternative sentence
- antitrust sentence
- certain sentence
- completed sentence
- concurrent sentences
- conditional sentence
- consecutive sentences
- consistent sentences
- correctional sentence
- criminal sentence
- cumulative sentences
- cumulative sentence
- custodial sentence
- death sentence
- decretory sentence
- definite sentence
- definitive sentence
- determinate sentence
- deterrent sentence
- discretional sentence
- disproportionate sentence
- enforced sentence
- federal sentence
- flexible sentence
- harsh sentence
- heavy sentence
- illegal sentence
- immutable sentence
- imposed sentence
- income tax sentence
- increased sentence
- indefinite sentence
- indeterminate sentence
- jail sentence
- lawful sentence
- legal sentence
- lenient sentence
- lesser sentence
- life sentence
- light sentence
- longest possible sentence
- mandatory sentence
- maximum sentence
- mild sentence
- military sentence
- minimum sentence
- mixed sentence
- moderate sentence
- multiple sentences
- non-custodial sentence
- optional sentence
- original sentence
- penitentiary sentence
- probationary sentence
- probation sentence
- reformatory sentence
- separate sentence
- served sentence
- shortest mandatory sentence
- split sentence
- state sentence
- strongly deterrent sentence
- suffered sentence
- suspended sentence
- tough sentence
- uncertain sentence
- wrongful sentence
- prison sentence -
10 непротиворечивое высказывание
Большой англо-русский и русско-английский словарь > непротиворечивое высказывание
-
11 logically
1) логично
2) логически
3) последовательно ∙ logically consistent data ≈ логически непротиворечивые данные logically constructed relation ≈ логически построенное соотношение logically defined class ≈ логически определенный класс logically determinate event ≈ логически определенное событие logically determinate formula ≈ логически определенная формула logically equivalent circuits ≈ логически эквивалентные схемы logically equivalent propositions ≈ логически эквивалентные высказывания logically equivalent statements ≈ логически эквивалентные высказывания logically false expression ≈ логически ложное выражение logically indeterminate event ≈ логически неопределенное событие logically irreducible relation ≈ логически неприводимое соотношение logically necessary hypothesis ≈ логически необходимая гипотеза logically related events ≈ логически связанные события logically true expression ≈ логически истинное выражение logically true sentence ≈ логически истинное предложение logically true statement ≈ логически истинное высказывание logically universal sentence ≈ логически универсальное предложение logically valid formula ≈ логически общезначимая формула logically valid sentence ≈ логически общезначимое предложение - logically absurd - logically complex - logically conclusive - logically consistent - logically contradictory - logically correct - logically defined - logically dependent - logically determinate - logically equivalent - logically exhaustive - logically false - logically imply - logically impossible - logically inconsistent - logically independent - logically indeterminate - logically justifiable - logically necessary - logically true - logically universal - logically valid - multiply logically логично;
логически логически рассуждая - *, one should become wiser with experience but some people never do по логике, нам следовало бы становиться умнее с годами, но некоторым из нас это не удаетсяБольшой англо-русский и русско-английский словарь > logically
-
12 class
1) класс; разряд; категория || классифицировать2) качество; сорт3) класс, группа ( в учебном заведении)4) курс лекций, курс обучения• -
13 arithmetically
арифметически arithmetically consistent data ≈ арифметически непротиворечивые данные arithmetically definable set ≈ арифметически определимое множество arithmetically defined subgroup ≈ арифметически определенная подгруппа arithmetically equivalent degree ≈ арифметически эквивалентная степень arithmetically expressible sentence ≈ арифметически выразимое высказывание arithmetically extensible function ≈ арифметически продолжаемая функция arithmetically normal variety ≈ арифметически нормальное многообразие arithmetically provable formula ≈ арифметически доказуемая формула arithmetically valid formula ≈ арифметически общезначимая формула completely arithmetically productive set ≈ вполне арифметически продуктивное множество - arithmetically connected - arithmetically definable - arithmetically equivalent - arithmetically extensible - arithmetically provable - arithmetically validарифметическиБольшой англо-русский и русско-английский словарь > arithmetically
См. также в других словарях:
Sentence spacing — Double sentence spaced typewriter text (1946) vs. single sentence spaced typeset text (1979) Sentence spacing is the horizontal space between sentences in typeset text. It is a matter of typographical convention … Wikipedia
Ω-consistent theory — In mathematical logic, an ω consistent (or omega consistent, also called numerically segregativeW.V.O. Quine, Set Theory and its Logic ] ) theory is a theory (collection of sentences) that is not only (syntactically) consistent (that is, does not … Wikipedia
ω-consistent theory — In mathematical logic, an ω consistent (or omega consistent, also called numerically segregative[1]) theory is a theory (collection of sentences) that is not only (syntactically) consistent (that is, does not prove a contradiction), but also… … Wikipedia
Wikipedia:Featured article candidates — Here, we determine which articles are to be featured articles (FAs). FAs exemplify Wikipedia s very best work and satisfy the FA criteria. All editors are welcome to review nominations; please see the review FAQ. Before nominating an article,… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Wikipedia:Manual of Style — This guideline is a part of the English Wikipedia s Manual of Style. Use common sense in applying it; it will have occasional exceptions. Please ensure that any edits to this page reflect consensus. Shortcuts … Wikipedia
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium
Consistency — For other uses, see Consistency (disambiguation). In logic, a consistent theory is one that does not contain a contradiction.[1] The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
